<html>
  <head><title>Welcome to Stan the Offline Dino's Homepage</title></head>
  <body>
    <script>
      // This page surfaces the contents of "stashed_title" to tests via
      // the page title. If the script was not executed, or if the script
      // failed to execute, then the title will be
      // "Welcome to Stan the Offline Dino's Homepage".
      document.title = stashed_title;
    </script>
  </body>
</html>
